Anglais | Russe |
as per the closed-world assumption | в соответствии с допущением замкнутости мира (допущением замкнутости мира: всё, что не доказано в логической программе (теории) как истинное, считается логически ложным Alex_Odeychuk) |
open-world assumption | допущение открытости мира (the unmentioned literals are unknown Alex_Odeychuk) |
open-world assumption | предположение об открытости мира (предположение в формальной логике о том, что истинность утверждения не зависит от того, известно ли какому-либо агенту о верности данного утверждения Alex_Odeychuk) |